1 2 - PDFSEARCH.IO - Document Search Engine

1 2
Results: 258872

#	Item
81	Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Algebra Mathematics Polynomials Abstract algebra Computer algebra Polynomial Factorization of polynomials Constraint programming Resultant Constraint logic programming Polynomial ring
82	How to enter Step 1: Select your category (please submit one category per form). Step 2: Fill out your contact details. Add to Reading List Source URL: asia-risk-congress.eb8.infopro-insight.com Language: English - Date: 2018-08-16 04:38:02 Actuarial science Email Risk Economy Prevention Safety
83	How to enter Step 1: Select your category (please submit one category per form). Step 2: Fill out your contact details. Add to Reading List Source URL: energy-risk-awards.eb8.infopro-insight.com Language: English - Date: 2018-08-16 05:35:10 Actuarial science Email Risk Economy Prevention Safety
84	An MCSAT treatment of Bit-Vectors (preliminary report) St´ephane Graham-Lengrand1,2 and Dejan Jovanovi´c1 1 2 Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Boolean algebra Computational complexity theory Mathematical logic Formal methods Binary decision diagram Diagrams Model checking Conflict-driven clause learning Boolean satisfiability problem FO
85	Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:55:59 Algebra Mathematics Abstract algebra Timed automaton Markov chain Weight Markov decision process -ring Spectral theory of ordinary differential equations
86	Medienmitteilung – Bern, 24. SeptemberDie FMH zu den Krankenkassenprämien 2019 Der Bundesrat hat heute mitgeteilt, dass der Prämienanstieg für das Jahr 2019 mit 1.2 Prozent deutlich geringer ausfällt als meh Add to Reading List Source URL: www.fmh.ch Language: German - Date: 2018-09-24 11:45:19
87	First Time Voters Mailing this Application If you are 1) registering to vote for the first time in the State of Hawaii; 2) mailing this application; and 3) do not have a HI Driver License, HI State ID, or last 4-digits o Add to Reading List Source URL: elections.hawaii.gov Language: English - Date: 2018-02-28 14:59:21 Elections Voting Politics Elections in the United States Absentee ballot Voter registration Postal voting National Voter Registration Act Electronic voting Voter database Voter registration in the United States U.S. Vote Foundation
88	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Theoretical computer science Logic Automated theorem proving Logic programming Complex analysis Logical truth Propositional calculus Substitution Abstract interpretation Unification Term
89	Boosting the BGP Convergence in SDXes in SWIFT Philipp Mao, Rüdiger Birkner, Thomas Holterbach, Laurent Vanbever ETH Zürich 1. Motivation 2. SWIFT in a nutshell Add to Reading List Source URL: swift.ethz.ch Language: English - Date: 2017-09-11 06:28:39 Computing Information and communications technology Internet Standards Computer networks Cryptographic protocols Internet protocols Internet architecture Border Gateway Protocol AS3 AS2 AS4 Society for Worldwide Interbank Financial Telecommunication
90	Synthetic Datasets for Neural Program Synthesis Richard Shin 1 Neel Kant 1 2 Kavi Gupta 1 Christopher Bender 1 2 Brandon Trabucco 1 2 Rishabh Singh 3 Dawn SongIntroduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Machine learning Training test and validation sets Validity Probability distribution Artificial intelligence Cognition Cognitive science Computational neuroscience